Revision: tla-tools--devo--0--patch-90
Archive: miles@gnu.org--gnu-2004
Creator: Miles Bader <miles@gnu.org>
Date: Tue Oct 26 14:17:26 JST 2004
Standard-date: 2004-10-26 05:17:26 GMT
Modified-files: ChangeLog tla-abbrev-merge-log.shpp
New-patches: miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-90
Summary: tla-abbrev-merge-log: Properly compare patch nums

